Assumptions: cofiltered limits, self-dual
Conclusions: filtered colimits
Proof: This holds by self-duality.